LocKnd $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{${\it ik}$::Id $\times$ Knd$\mid$ let $i$,$k$ = ${\it ik}$ in $\uparrow$hasloc($k$; $i$)\}